Tool Construction for the British Airways SEE with the O2 ODBMS

INCREMENT INTERFACE Increment; ATTRIBUTES Errors:SET OF ERRORS; expanded:BOOLEAN; father: Increment; doc_ver: DocumentVersion; END ATTRIBUTES; END ABSTRACT INCREMENT INTERFACE Increment. TERMINAL INCREMENT INTERFACE ClassIdentifier; INHERIT Increment; REGULAR EXPRESSION {[A−Za−z][A−Za−z0−9_]*} END REGULAR EXPRESSION; SEMANTIC RELATIONSHIPS IMPLICIT Constructors:SET OF Constructor.Constructs; IMPLICIT UsedBy : SET OF Type.DefinedIn; END SEMANTIC RELATIONSHIPS; METHODS IMPLICIT METHOD scan(Str:STRING):BOOLEAN; METHOD ChangeName(Str:STRING):BOOLEAN; END METHODS; END TERMINAL INCREMENT INTERFACE ClassIdentifier. ABSTRACT INCREMENT INTERFACE MemberFunction; INHERIT Increment; ABSTRACT SYNTAX pl : ParameterList; com : Comment; END ABSTRACT SYNTAX; METHODS DEFERRED METHOD expand(); DEFERRED METHOD parse(Str:STRING):MemberFunction; DEFERRED METHOD unparse():STRING; METHOD ExtendParamList(); END METHODS; END ABSTRACT INCREMENT INTERFACE MemberFunction.INCREMENT INTERFACE MemberFunction; INHERIT Increment; ABSTRACT SYNTAX pl : ParameterList; com : Comment; END ABSTRACT SYNTAX; METHODS DEFERRED METHOD expand(); DEFERRED METHOD parse(Str:STRING):MemberFunction; DEFERRED METHOD unparse():STRING; METHOD ExtendParamList(); END METHODS; END ABSTRACT INCREMENT INTERFACE MemberFunction. NONTERMINAL INCREMENT INTERFACE Operator; INHERIT MemberFunction; ABSTRACT SYNTAX virt : OptVirtual; type : Type; os : OperatorSign; const: OptConst; ass : OptAssign; END ABSTRACT SYNTAX; UNPARSING SCHEME virt, type, "operator", (" "), os, (" "), "(", pl, ")", (" "), const, ass, ";", (NL), com, (NL) END UNPARSING SCHEME; METHODS IMPLICIT METHOD expand(); IMPLICIT METHOD parse(Str:STRING):Operator; IMPLICIT METHOD unparse():STRING; END METHODS; END NONTERMINAL INCREMENT INTERFACE Operator. NONTERMINAL INCREMENT INTERFACE Constructor; INHERIT MemberFunction; ABSTRACT SYNTAX name : OpName; END ABSTRACT SYNTAX; UNPARSING SCHEME name, "(", pl, ")", ";", (NL), com, (NL) END UNPARSING SCHEME; SEMANTIC RELATIONSHIPS Constructs : ClassIdentifier; END NON SYNTACTIC EDGES; METHODS IMPLICIT METHOD expand(); IMPLICIT METHOD parse(Str:STRING):Constructor; IMPLICIT METHOD unparse():STRING; END METHODS; END NONTERMINAL INCREMENT INTERFACE Constructor. NONTERMINAL INCREMENT INTERFACE MemberFunctions; INHERIT Increment; ABSTRACT SYNTAX l : LIST OF MemberFunction; END ABSTRACT SYNTAX; UNPARSING SCHEME (NL), l DELIMITED BY (NL) END; END UNPARSING SCHEME; METHODS IMPLICIT METHOD expand(); IMPLICIT METHOD parse(Str:STRING):MemberFunctions; IMPLICIT METHOD unparse():STRING; END METHODS; END NONTERMINAL INCREMENT INTERFACE MemberFunctions. FIG. 5. Fragments of GTSL classes THEORY AND PRACTICE OF OBJECT SYSTEMS|1997 11 SPECIFICATION ClassIdentifier; ... METHOD ChangeName(Str:STRING):BOOLEAN; BEGIN IF SELF.scan(Str) THEN FOREACH con:Constructor IN Constructors DO con.name.react_to_change(Str)